🔗 Monadic Parsing - matmat · Scour

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·20h

🌳Context free grammars

Making a Language

thunderseethe.dev·2h

🛠Language Design

abelianization of an additive category in nLab

ncatlab.org·9h

🧮Algebraic Archives

ianbarber.blog·21h·

Discuss: Hacker News

🧠Learned Compression

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees

dev.to·3h·

Discuss: DEV

🤝Consensus Networks

Designing a Programming Language for the Desert

futhark-lang.org·9h·

Discuss: Hacker News

🔗Functional Compilers

Functional Logic Program Transformations

arxiv.org·20h

🔗Functional Compilers

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·13h

📊Static Analysis

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·9h·

Discuss: Hacker News

🤝Unification Algorithms

Using Haskell in Production

agentultra.com·22h

🔗Functional Compilers

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

💻Programming languages

Alexis King’s Blog

lexi-lambda.github.io·2d

🎯Gradual Typing

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Constructing human-grade parsers

duriansoftware.com·5d

Benchmarking my parser generator against LLVM: I have a new target

modulovalue.com·4d·

Discuss: Hacker News

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔲Proof Irrelevance

Dealing with alternatives

jemarch.net·1d

🔧Binary Parsing

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

Kolmogorov Complexity

en.wikipedia.org·13h·

Discuss: Hacker News

🧮Kolmogorov Complexity

Loading more...